home *** CD-ROM | disk | FTP | other *** search
- #!/bin/sh
- #
- # Prepare TeXmenu.tar.gz to work with Installer
- #
-
- cd $1
-
- if [ -f TeXmenu.tar.gz ]
- then
- echo -n Gunziping and compressing package ...
- if ./gunzip < TeXmenu.tar.gz | /usr/ucb/compress -f > TeXmenu.tar.Z
- then
- echo " OK."
- rm -f TeXmenu.tar.gz
- else
- echo " Failed! Probably not enough disk space?"
- exit 1
- fi
- fi
-
- true
-